extern int xerdmp_(void);
/*:ref: xersav_ 14 6 13 4 4 4 4 124 */
